David T. Gethin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

History and the Perils of Grand Strategy

Morgan-Owen, David Gethin

Journal:

The Journal of Modern History

Year:

2020

File:

PDF, 598 KB

2020

2

‘History is a Record of Exploded Ideas’: Sir John Fisher and Home Defence, 1904–10

Morgan-Owen, David Gethin

Journal:

The International History Review

Year:

2014

Language:

english

File:

PDF, 207 KB

english, 2014

3

Cooked up in the Dinner Hour? Sir Arthur Wilson’s War Plan, Reconsidered: Figure 1:

Morgan-Owen, David Gethin

Journal:

The English Historical Review

Year:

2015

Language:

english

File:

PDF, 907 KB

english, 2015

4

Reviews

Gethin, Rupert, Loy, David R., Braitstein, Lara

Journal:

Contemporary Buddhism

Year:

2001

Language:

english

File:

PDF, 881 KB

english, 2001

5

FEView: An interactive visualization tool for finite elements

Yao Zheng, Roland W. Lewis, David T. Gethin

Journal:

Finite Elements in Analysis and Design

Year:

1995

Language:

english

File:

PDF, 7.52 MB

english, 1995

6

Effect of Drink Carbohydrate Content on Postexercise Gastric Emptying, Rehydration, and the Calculation of Net Fluid Balance

Clayton, David J., Evans, Gethin H., James, Lewis J.

Journal:

International Journal of Sport Nutrition and Exercise Metabolism

Year:

2014

Language:

english

File:

PDF, 362 KB

english, 2014

7

An adaptive finite element model for the behaviour of uranium hexafluoride filled container in a fire

Roland W. Lewis, Yao Zheng, David T. Gethin

Journal:

Nuclear Engineering and Design

Year:

1993

Language:

english

File:

PDF, 2.07 MB

english, 1993

8

Patterning of Antibodies Using Flexographic Printing

Phillips, Christopher O., Govindarajan, Sridhar, Hamblyn, Simon M., Conlan, R. Steven, Gethin, David T., Claypole, Tim C.

Journal:

Year:

2012

Language:

english

File:

PDF, 954 KB

english, 2012

9

Stress Whitening in Polyester Melamine Coatings

Radley, Emily, Lowe, Chris, Gethin, David

Journal:

Johnson Matthey Technology Review

Year:

2018

Language:

english

File:

PDF, 2.01 MB

english, 2018

10

Three-dimensional unstructured mesh generation: Part 1. Fundamental aspects of triangulation and point creation

Yao Zheng, Roland W. Lewis, David T. Gethin

Journal:

Computer Methods in Applied Mechanics and Engineering

Year:

1996

Language:

english

File:

PDF, 1.12 MB

english, 1996

11

Enantioselective synthesis of cyclopropylcarboxamides using s-BuLi–sparteine-mediated metallation

Lauru, Stephanie, Simpkins, Nigel S., Gethin, David, Wilson, Claire

Journal:

Chemical Communications

Year:

2008

Language:

english

File:

PDF, 211 KB

english, 2008

12

Periodic electrolysis technique for in situ fouling control and removal with low-pressure membrane filtration

Abid, Hadeel Subhi, Johnson, Daniel James, Clifford, Ben, Gethin, David T., Bertoncello, Paolo, Hashaikeh, Raed, Hilal, Nidal

Journal:

Year:

2018

Language:

english

File:

PDF, 2.88 MB

english, 2018

13

Three-dimensional unstructured mesh generation: Part 2. Surface meshes

Yao Zheng, Roland W. Lewis, David T. Gethin

Journal:

Computer Methods in Applied Mechanics and Engineering

Year:

1996

Language:

english

File:

PDF, 877 KB

english, 1996

14

Effect of milk protein addition to a carbohydrate–electrolyte rehydration solution ingested after exercise in the heat

James, Lewis J., Clayton, David, Evans, Gethin H.

Journal:

British Journal Of Nutrition

Year:

2011

Language:

english

File:

PDF, 135 KB

english, 2011

15

[ASME ASME 2014 Pressure Vessels and Piping Conference - Anaheim, California, USA (Sunday 20 July 2014)] Volume 5: High-Pressure Technology; ASME NDE Division; 22nd Scavuzzo Student Paper Symposium and Competition - Case Study on a Complex Seal Design for a High Pressure Vessel Application

Slee, Adam J., Stobbart, John, Gethin, David T., Hardy, Stephen J.

Year:

2014

Language:

english

File:

PDF, 2.20 MB

english, 2014

16

Three-dimensional finite element model for metal displacement and heat transfer in squeeze casting processes

Roland W. Lewis, Z.Q. Han, David T. Gethin

Journal:

Comptes Rendus Mécanique

Year:

2007

File:

PDF, 819 KB

2007

17

Quantitative Analysis With the Probabilistic Model Checker PRISM

Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 495 KB

english, 2006

18

Probabilistic Mobile Ambients

Marta Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.55 MB

english, 2009

19

[IEEE 2006 Winter Simulation Conference - Monterey, CA, USA (2006.12.3-2006.12.6)] Proceedings of the 2006 Winter Simulation Conference - Simulation and Verification for Computational Modelling of Signalling Pathways

Kwiatkowska, Marta, Norman, Gethin, Parker, David, Tymchyshyn, Oksana, Heath, John, Gaffney, Eamonn

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

20

The alc-GR System. A Modified alc Gene Switch Designed for Use in Plant Tissue Culture

Gethin R. Roberts, G. Ali Garoosi, Olga Koroleva, Masaki Ito, Patrick Laufs, David J. Leader, Mark X. Caddick, John H. Doonan and A. Brian Tomsett

Journal:

PLANT PHYSIOLOGY

Year:

2005

Language:

english

File:

PDF, 1.81 MB

english, 2005

21

Sclerostin Regulates Release of Bone Mineral by Osteocytes by Induction of Carbonic Anhydrase 2

Kogawa, Masakazu, Wijenayaka, Asiri R, Ormsby, Renee T, Thomas, Gethin P, Anderson, Paul H, Bonewald, Lynda F, Findlay, David M, Atkins, Gerald J

Journal:

Journal of Bone and Mineral Research

Year:

2013

Language:

english

File:

PDF, 1.23 MB

english, 2013

22

Cryoelectron tomography of isolated desmosomes

Owen, Gethin Rh., Acehan, Devrim, Derr, K.D., Rice, William J., Stokes, David L.

Journal:

Biochemical Society Transactions

Year:

2008

Language:

english

File:

PDF, 1.29 MB

english, 2008

23

Deposition of High Conductivity Low Silver Content Materials by Screen Printing

Jewell, Eifion, Hamblyn, Simon, Claypole, Tim, Gethin, David

Journal:

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

24

Using probabilistic model checking for dynamic power management

Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep Shukla, Rajesh Gupta

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 378 KB

english, 2005

25

Development of Graphene Nano-Platelet Ink for High Voltage Flexible Dye Sensitized Solar Cells with Cobalt Complex Electrolytes

Baker, Jennifer A., Worsley, Carys, Lee, Harrison K. H., Clark, Ronald N., Tsoi, Wing C., Williams, Geraint, Worsley, David A., Gethin, David T., Watson, Trystan M.

Journal:

Advanced Engineering Materials

Year:

2017

Language:

english

File:

PDF, 1.29 MB

english, 2017

26

Translucent and ductile nanocellulose-PEG bionanocomposites—A novel substrate with potential to be functionalized by printing for wound dressing applications

Tehrani, Zari, Nordli, Henriette Rogstad, Pukstad, Brita, Gethin, David T., Chinga-Carrasco, Gary

Journal:

Industrial Crops and Products

Year:

2016

Language:

english

File:

PDF, 2.64 MB

english, 2016

27

Controller dependability analysis by probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Control Engineering Practice

Year:

2007

Language:

english

File:

PDF, 485 KB

english, 2007

28

Performance analysis of probabilistic timed automata using digital clocks

Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 853 KB

english, 2006

29

Exploring the Nature of Desmosomal Cadherin Associations in 3D

Owen, Gethin R., Stokes, David L.

Journal:

Dermatology Research and Practice

Year:

2010

Language:

english

File:

PDF, 7.66 MB

english, 2010

30

Printed silver circuits for FMCG packaging

Tudor Gethin, David, Huw Jewell, Eifion, Charles Claypole, Tim

Journal:

Year:

2013

Language:

english

File:

PDF, 239 KB

english, 2013

31

A finite element model of the squeeze casting process

Voller, Vaughan, Lewis, Roland W., Postek, Eligiusz W., Han, Zhiqiang, Gethin, David T.

Journal:

International Journal of Numerical Methods for Heat & Fluid Flow

Year:

2006

Language:

english

File:

PDF, 1.17 MB

english, 2006

32

Controller Dependability Analysis by Probabilistic Model Checking

Kwiatkowska, Marta, Norman, Gethin, Parker, David

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 716 KB

english, 2004

33

Numerical vs. statistical probabilistic model checking

Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 453 KB

english, 2006

34

A game-based abstraction-refinement framework for

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 1009 KB

english, 2010

35

Probabilistic model checking of complex biological pathways

John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.66 MB

english, 2008

36

[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - The PRISM Benchmark Suite

Kwiatkowsa, Marta, Norman, Gethin, Parker, David

Year:

2012

Language:

english

File:

PDF, 101 KB

english, 2012

37

Solidification of the entrance to a subcooled tube

Yeow, Y. Leong, Gethin, David T., Lewis, Roland W.

Journal:

Industrial & Engineering Chemistry Research

Year:

1990

Language:

english

File:

PDF, 735 KB

english, 1990

38

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Symbolic Magnifying Lens Abstraction in Markov Decision Processes

Roy, Pritam, Parker, David, Norman, Gethin, Alfaro, Luca de

Year:

2008

Language:

english

File:

PDF, 282 KB

english, 2008

39

[IEEE 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2010.09.29-2010.10.1)] 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Advances and challenges of probabilistic model checking

Kwiatkowska, Marta, Norman, Gethin, Parker, David

Year:

2010

Language:

english

File:

PDF, 1.00 MB

english, 2010

40

Game-Based Probabilistic Predicate Abstraction in PRISM

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 382 KB

english, 2008

41

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 405 KB

english, 2004

42

SAR and biological evaluation of 3-azabicyclo[3.1.0]hexane derivatives as μ opioid ligands

Graham Lunn, Lee R. Roberts, Stephane Content, Douglas J. Critcher, Sara Douglas, Ashley E. Fenwick, David M. Gethin, Graham Goodwin, David Greenway, Sean Greenwood, Kim Hall, Martin Thomas, Stephen T

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2012

Language:

english

File:

PDF, 560 KB

english, 2012

43

On the use of MTBDDs for performability analysis and verification of stochastic systems

Holger Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, Markus Siegle

Journal:

The Journal of Logic and Algebraic Programming

Year:

2003

Language:

english

File:

PDF, 755 KB

english, 2003

44

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

Hahn, Ernst Moritz, Norman, Gethin, Parker, David, Wachter, Bjorn, Zhang, Lijun

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

45

Effect of varying the concentrations of carbohydrate and milk protein in rehydration solutions ingested after exercise in the heat

James, Lewis J., Evans, Gethin H., Madin, Joshua, Scott, Darren, Stepney, Michael, Harris, Russell, Stone, Robert, Clayton, David J.

Journal:

British Journal Of Nutrition

Year:

2013

Language:

english

File:

PDF, 124 KB

english, 2013

46

Surface characterisation of electrical discharge pulse-mode textured cold work rolls

Huszar, Marton, Gethin, David T.

Journal:

International Journal of Surface Science and Engineering

Year:

2015

Language:

english

File:

PDF, 676 KB

english, 2015

47

A combined finite-discrete element method for simulating pharmaceutical powder tableting

Roland W. Lewis, David T. Gethin, Xinshe S. Yang, Ray C. Rowe

Journal:

International Journal for Numerical Methods in Engineering

Year:

2005

Language:

english

File:

PDF, 412 KB

english, 2005

48

A new synthetic approach to the polyoxins: Concise stereoselective preparation of protected thymine polyoxin C

David M. Gethin, Nigel S. Simpkins

Journal:

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

49

Probabilistic verification of Herman’s self-stabilisation algorithm

Kwiatkowska, Marta, Norman, Gethin, Parker, David

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 864 KB

english, 2012

50

Model checking for probabilistic timed automata

Norman, Gethin, Parker, David, Sproston, Jeremy

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.04 MB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски